virtual

Results: 37074



#Item
11Computing / Software engineering / Computer programming / Compiler construction / Programming languages / Programming language implementation / Software optimization / Tracing just-in-time compilation / High-level programming languages / Just-in-time compilation / PyPy / Interpreter

Area 1 (Virtual Machines and Compilation) Danny Yoo () Abstract The ideas behind tracing JITs go back to the late 1970s, but have become especially popular lately. Explain the principles behind a tracing J

Add to Reading List

Source URL: www.hashcollision.org

Language: English
12Group processes / Education / Group dynamics / Conflict / Educational technology / Sociology / Behavioural sciences / Contact hypothesis / Integrated threat theory

MIT Saxelab Research Partnership In order to establish robust tools that can measure the educational impact of virtual exchange, the Saxelab Social Cognitive Neuroscience Laboratory at MIT is engaged in a multi-year iter

Add to Reading List

Source URL: virtualexchangecoalition.org

Language: English - Date: 2015-09-30 10:27:54
13Economy / Tax / International taxation / Double taxation / Corporate tax / Tax avoidance / Withholding tax / Income tax in the United States / Income tax / Value-added tax / Flat tax / Capital gains tax

Tax Efficient Inbound Investment Tax Structures for Cross-Border Acquisitions Virtual Round Table Series Tax Working Group 2018

Add to Reading List

Source URL: www.irglobal.com

Language: English - Date: 2018-08-02 07:59:37
14Mathematical analysis / Logic / Theoretical computer science / Automated theorem proving / Logic programming / Conflict-driven clause learning / E / Calculus / Substitution / Exponential function

Towards Conflict-Driven Learning for Virtual Substitution SMT Workshop ˇ Marek Kosta (joint work K. Korovin and T. Sturm)

Add to Reading List

Source URL: smt2014.it.uu.se

Language: English - Date: 2014-07-18 18:47:15
15Computer architecture / Computing / System software / C POSIX library / System calls / POSIX / Read / Open / File descriptor / Virtual file system / UBIFS / Close

Verification of a Virtual Filesystem Switch ? Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, J¨org Pf¨ahler, and Wolfgang Reif

Add to Reading List

Source URL: www.isse.uni-augsburg.de

Language: English - Date: 2017-01-11 10:44:04
16Economy / Finance / Money / Contract law / Escrow / Personal finance / Real property law / Investment / Insurance / Warranty / Mergers and acquisitions / Indemnity

Slaying Uncertainty Assessing the contribution of insurance to the M&A process Virtual Round Table Series M&A Working Group 2018

Add to Reading List

Source URL: www.irglobal.com

Language: English - Date: 2018-10-03 10:59:05
17Economy / Decentralization / Finance / Money / Draft:OPSkins / Online marketplaces / Cryptocurrencies / Malcolm CasSelle / Virtual economy / Market / Blockchain / Alibaba Group

Worldwide Asset eXchange (WAX) Global Decentralized Marketplace for Video Game Virtual Assets White Paper Version 1.9

Add to Reading List

Source URL: wax.io

Language: English - Date: 2018-10-11 18:02:56
18System software / Software / Computing / Cloud infrastructure / Kubernetes / Operating-system-level virtualization / OpenStack / Virtual machine / Hyper-V / Hypervisor / Intermodal container

The speed of containers, the security of VMs Kata Containers is a novel implementation of a lightweight virtual machine that seamlessly integrates within the container ecosystem. Kata Containers are as light and fast as

Add to Reading List

Source URL: katacontainers.io

Language: English - Date: 2018-08-06 15:21:19
19Human behavior / Workplace bullying / Harassment / Feminism / Human sexuality / Sexual harassment / Labour law / Workplace / Me Too movement / Harassment in the United Kingdom / Workplace harassment / Hostile work environment

#MeToo Is it time up for discrimination in the workplace? Virtual Round Table Series Employment Working Group 2018

Add to Reading List

Source URL: www.irglobal.com

Language: English - Date: 2018-09-26 05:07:59
20Law / Economy / United Kingdom company law / Business law / Business / Insolvency / Legal entities / Corporate law / Trading while insolvent / Subsidiary / Piercing the corporate veil / Wrongful trading

Limiting Liabilities Structuring holding companies to withstand insolvency Virtual Round Table Series Insolvency Working Group 2018

Add to Reading List

Source URL: www.irglobal.com

Language: English - Date: 2018-09-26 06:10:50
UPDATE